# RP2040 Timer
specific_ss.add(when: 'CONFIG_RP2040_TIMER', if_true: files('rp2040_timer.c'))